Skip to content

Actions: jmanuel1/idris-stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from jmanuel1/polymorphic-variants Check Idris Sources #37: Commit 8921968 pushed by jmanuel1
June 22, 2024 20:54 1m 24s master
master
June 22, 2024 20:54 1m 24s
Polymorphic variants Check Idris Sources #36: Pull request #6 synchronize by jmanuel1
June 22, 2024 20:48 1m 27s polymorphic-variants
polymorphic-variants
June 22, 2024 20:48 1m 27s
Polymorphic variants Check Idris Sources #35: Pull request #6 synchronize by jmanuel1
June 22, 2024 20:38 1m 23s polymorphic-variants
polymorphic-variants
June 22, 2024 20:38 1m 23s
Polymorphic variants Check Idris Sources #34: Pull request #6 opened by jmanuel1
June 22, 2024 20:27 15m 57s polymorphic-variants
polymorphic-variants
June 22, 2024 20:27 15m 57s
Merge pull request #5 from jmanuel1/frex Check Idris Sources #33: Commit 2c83b75 pushed by jmanuel1
May 4, 2024 00:19 16m 11s master
master
May 4, 2024 00:19 16m 11s
Use Frex to simplify constraint list size proof Check Idris Sources #32: Pull request #5 opened by jmanuel1
April 17, 2024 08:58 16m 48s frex
frex
April 17, 2024 08:58 16m 48s
Merge pull request #2 from jmanuel1/lambda-c Check Idris Sources #31: Commit bcf192d pushed by jmanuel1
April 6, 2024 17:08 16m 4s frex
frex
April 6, 2024 17:08 16m 4s
Merge pull request #4 from jmanuel1/unification-rc Check Idris Sources #30: Commit b09bacb pushed by jmanuel1
December 6, 2023 04:36 18m 36s master
master
December 6, 2023 04:36 18m 36s
Prove unification total with the proof from Ribeiro and Camarão (2016) Check Idris Sources #29: Pull request #4 synchronize by jmanuel1
December 4, 2023 07:20 18m 49s unification-rc
unification-rc
December 4, 2023 07:20 18m 49s
Prove unification total with the proof from Ribeiro and Camarão (2016) Check Idris Sources #28: Pull request #4 synchronize by jmanuel1
December 4, 2023 06:30 19m 50s unification-rc
unification-rc
December 4, 2023 06:30 19m 50s
Merge branch 'master' into unification-rc Check Idris Sources #27: Commit f22bab1 pushed by jmanuel1
December 4, 2023 06:27 19m 12s unification-rc
unification-rc
December 4, 2023 06:27 19m 12s
Define internal syntax for ADTs Check Idris Sources #26: Commit 36c9d73 pushed by jmanuel1
August 20, 2023 03:27 21m 26s lambda-c
lambda-c
August 20, 2023 03:27 21m 26s
Merge pull request #3 from jmanuel1/stack-cat Check Idris Sources #25: Commit 8f737f0 pushed by jmanuel1
August 18, 2023 05:52 28m 35s master
master
August 18, 2023 05:52 28m 35s
Explore categorical structure of a simple stack-based language Check Idris Sources #24: Pull request #3 opened by jmanuel1
August 18, 2023 05:23 25m 17s stack-cat
stack-cat
August 18, 2023 05:23 25m 17s
Show that there is a 'natural' monadic structure on stacks Check Idris Sources #23: Commit 897d913 pushed by jmanuel1
August 18, 2023 05:11 28m 25s stack-cat
stack-cat
August 18, 2023 05:11 28m 25s
Prove that functions on stacks are exponentials Check Idris Sources #22: Commit d105bfa pushed by jmanuel1
August 17, 2023 05:52 22m 14s stack-cat
stack-cat
August 17, 2023 05:52 22m 14s
Prove that product of two stacks is unique Check Idris Sources #21: Commit 7e4ab61 pushed by jmanuel1
August 17, 2023 05:42 26m 47s stack-cat
stack-cat
August 17, 2023 05:42 26m 47s
Drastically simplify proof of stack product commutivity Check Idris Sources #20: Commit a7e49fa pushed by jmanuel1
August 17, 2023 04:56 28m 12s stack-cat
stack-cat
August 17, 2023 04:56 28m 12s
Prove that the stack product (++) commutes with stackFst and `sta… Check Idris Sources #19: Commit fe41075 pushed by jmanuel1
August 17, 2023 04:39 29m 5s stack-cat
stack-cat
August 17, 2023 04:39 29m 5s
Rewrite stackFst and stackSnd in terms of split Check Idris Sources #18: Commit 5485a7d pushed by jmanuel1
August 17, 2023 03:45 23m 3s stack-cat
stack-cat
August 17, 2023 03:45 23m 3s
Write intrinsically-typed function to split stacks into 1st/2nd proje… Check Idris Sources #17: Commit b7d875b pushed by jmanuel1
August 17, 2023 00:56 31m 46s stack-cat
stack-cat
August 17, 2023 00:56 31m 46s
Add a heterogeneous equality type that will maybe help Check Idris Sources #16: Commit 326432a pushed by jmanuel1
August 16, 2023 06:54 23m 19s stack-cat
stack-cat
August 16, 2023 06:54 23m 19s
Define some helpful stack language syntax and an "indexed monoid" for it Check Idris Sources #15: Commit 1bb0b2e pushed by jmanuel1
August 12, 2023 05:01 21m 17s stack-cat
stack-cat
August 12, 2023 05:01 21m 17s