effectfully tiny-lang issues

effectfully / tiny-lang

BSD 3-Clause "New" or "Revised" License

6 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Arbitrary non-determinism exposed to the user

#85 effectfully closed 4 years ago
0
Support for custom gadgets

#84 effectfully opened 4 years ago
0
What do we want the Core language to be?

#83 effectfully opened 4 years ago
4
Add comments to the language

#82 jakzale closed 4 years ago
0
Add functions

#81 jakzale closed 5 months ago
0
Derive instances for Existentials

#80 jakzale opened 4 years ago
0
Add extrinsically typed variables

#79 jakzale closed 4 years ago
0
Add Typing Environments

#78 jakzale closed 4 years ago
7
Remove for loops from Field.Typed language

#77 jakzale closed 4 years ago
1
Proper Type Environments, Binders, and Assignments

#76 jakzale closed 4 years ago
2
[Refactoring] 'genEnvFromVarSigns' -> 'genEnvFromVarUnis'

#75 effectfully closed 1 year ago
0
[Textual] Ditched 'parseField'

#74 effectfully closed 4 years ago
0
How to handle unpackings?

#73 effectfully opened 4 years ago
0
[Test] [Field] Added a couple of tests related to division and multiplication

#72 effectfully closed 4 years ago
0
Benchmark field operations

#71 effectfully opened 4 years ago
1
Removed the 'boolean' sublanguage

#70 effectfully closed 4 years ago
0
Allow arbitrary expressions in loop bounds

#69 effectfully opened 4 years ago
1
[Field] Converting 'negative' finite field elements to negative integers

#68 effectfully closed 4 years ago
1
What fields do we need?

#67 effectfully opened 4 years ago
7
[Field] Removed the F4913 field

#66 effectfully closed 4 years ago
1
Do we need `F4913`?

#65 effectfully closed 4 years ago
1
Add configuration for stylish haskell

#64 jakzale closed 4 years ago
0
[Bug] Return a scope from the type checker rather than the parser

#63 effectfully closed 4 years ago
0
Fix statement vs expr

#62 jakzale closed 4 years ago
4
Add type ascriptions

#61 jakzale closed 4 years ago
0
Remove old parser

#60 jakzale closed 4 years ago
0
Retire the old parser

#59 jakzale closed 4 years ago
0
Add Type Ascriptions

#58 jakzale closed 4 years ago
1
More efficient conversion of an integer to a field element

#57 effectfully opened 4 years ago
0
Add Property Testing for the TinyLang.Field.TypeChecker

#56 jakzale opened 4 years ago
1
Cache CI builds

#55 jakzale closed 4 years ago
1
Loops

#54 effectfully opened 4 years ago
16
Add a Type Checker for Raw AST

#53 jakzale closed 4 years ago
0
Add Haskell CI

#52 jakzale closed 4 years ago
1
Fix Statement vs Expr

#51 jakzale closed 4 years ago
1
Add CI Pipeline

#50 jakzale closed 4 years ago
0
Typechecker for the Raw AST

#49 jakzale closed 4 years ago
0
Switch to untyped AST in the TinyLang.Field.Parser

#48 jakzale closed 4 years ago
4
Untyped AST

#47 effectfully closed 4 years ago
0
Add the power operator to the language

#46 effectfully opened 5 years ago
0
[ErrorHandling] Made errors pure

#45 effectfully closed 5 years ago
0
Add the unit type

#44 effectfully closed 4 years ago
1
Add comments

#43 effectfully closed 4 years ago
0
The characteristic of the field in Jubjub.hs isn't a prime number!

#42 kwxm closed 5 years ago
2
Add constants

#41 effectfully opened 5 years ago
2
Drop the boolean language

#40 effectfully closed 4 years ago
4
[Test] Incorporated field axioms tests into the main testing pipeline

#39 effectfully closed 5 years ago
1
Forgot file

#38 kwxm closed 5 years ago
0
Kwxm/add galois field pkg

#37 kwxm closed 5 years ago
1
Get fields to advertise their characteristic

#36 kwxm opened 5 years ago
1