issues
search
jameshaydon
/
lawvere
A categorical programming language with effects
MIT License
266
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump cachix/install-nix-action from 12 to 20
#37
dependabot[bot]
opened
1 year ago
0
Bump cachix/install-nix-action from 12 to 19
#36
dependabot[bot]
closed
1 year ago
1
Bump cachix/cachix-action from 8 to 12
#35
dependabot[bot]
opened
1 year ago
0
Bump cachix/install-nix-action from 12 to 18
#34
dependabot[bot]
closed
1 year ago
1
Bump cachix/cachix-action from 8 to 11
#33
dependabot[bot]
closed
1 year ago
1
Bump actions/checkout from 2 to 3.1.0
#32
dependabot[bot]
opened
1 year ago
0
Bump cachix/install-nix-action from 12 to 17
#31
dependabot[bot]
closed
1 year ago
1
Bump actions/checkout from 2 to 3
#30
dependabot[bot]
closed
1 year ago
1
Bump cachix/install-nix-action from 12 to 16
#29
dependabot[bot]
closed
2 years ago
1
Bump cachix/install-nix-action from 12 to 15
#28
dependabot[bot]
closed
2 years ago
1
Bump cachix/install-nix-action from 12 to 14.1
#27
dependabot[bot]
closed
2 years ago
1
Bump cachix/install-nix-action from 12 to 14
#26
dependabot[bot]
closed
2 years ago
1
Bump cachix/cachix-action from 8 to 10
#25
dependabot[bot]
closed
1 year ago
1
Bump cachix/install-nix-action from 12 to 13
#24
dependabot[bot]
closed
3 years ago
1
Bump cachix/cachix-action from v8 to v10
#23
dependabot[bot]
closed
3 years ago
1
Bump cachix/install-nix-action from v12 to v13
#22
dependabot[bot]
closed
3 years ago
1
Bump cachix/cachix-action from v8 to v9
#21
dependabot[bot]
closed
3 years ago
1
Desugar recursive definitions to use of parametrised fixed point operator
#20
jameshaydon
opened
3 years ago
0
Add a parametrised fixed point operator
#19
jameshaydon
closed
3 years ago
0
Whitespace identity is jarring in some places
#18
jameshaydon
opened
3 years ago
0
Desugar more to make interpretations simpler.
#17
jameshaydon
closed
3 years ago
0
Should general recursion always be allowed?
#16
Invisible-Rabbit-Hunter
opened
3 years ago
4
Add CI badge
#15
pwm
closed
3 years ago
0
HLS has to be compiled against the project's GHC
#14
pwm
closed
3 years ago
0
Add testing of examples.
#11
jameshaydon
closed
3 years ago
0
Reorganise Nix setup + Set up CI
#10
pwm
closed
3 years ago
0
Feature Request: Lambda Calculus Notation
#9
svenkeidel
opened
3 years ago
7
WIP CI
#8
jameshaydon
closed
3 years ago
1
README changes
#7
jkarni
closed
3 years ago
0
Literate scripts report wrong line numbers
#6
jameshaydon
opened
3 years ago
0
Cone sequencing
#5
jameshaydon
opened
3 years ago
0
Use more user-friendly terms
#4
jameshaydon
closed
3 years ago
0
Add shell.nix
#3
jkarni
closed
3 years ago
1
Nixify Lawvere
#2
pwm
closed
3 years ago
0
Fix typos in readme
#1
kjudson
closed
3 years ago
0