Soonad Formality-Core issues - Githubissues

Soonad / Formality-Core

Specification of the Formality proof and programming language

MIT License

40 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fix typos

#18 ritschwumm opened 1 year ago
0
Update Whitepaper.md

#17 rashadg1030 opened 4 years ago
0
Jcb/string lit perf

#16 johnchandlerburnham opened 4 years ago
0
Gb/base

#15 gabriel-barrett closed 4 years ago
0
Jcb/lang sugars

#14 johnchandlerburnham closed 4 years ago
1
Jcb/verbose

#13 johnchandlerburnham closed 4 years ago
1
Can we derive function extensionality from self types only?

#12 VictorTaelin opened 4 years ago
8
fix haskell comparison functions

#11 johnchandlerburnham closed 4 years ago
0
Update lib to use --github command

#10 MaisaMilena closed 4 years ago
2
Jcb/literal printing

#9 johnchandlerburnham closed 4 years ago
1
Gb/base

#8 gabriel-barrett closed 4 years ago
0
Possible error in JS typechecker

#7 johnchandlerburnham closed 4 years ago
2
Equality quick fix

#6 gabriel-barrett closed 4 years ago
0
Jcb/haskell2

#5 johnchandlerburnham closed 4 years ago
0
More a question than an issue

#4 v217 closed 4 years ago
0
Jcb/stringification

#3 johnchandlerburnham closed 4 years ago
0
Jcb/ctor precedence

#2 johnchandlerburnham closed 4 years ago
0
Haskell snippets and prose edits

#1 johnchandlerburnham closed 4 years ago
1