HigherOrderCO monobook issues

HigherOrderCO / monobook

AGDA

21 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add `Ord` type-class

#64 edusporto opened 2 days ago
1
Implement comparison-based sets

#63 edusporto opened 2 days ago
0
Implement Show for Bend Fun types

#62 developedby opened 2 days ago
0
Add precedence for arithmetic and logic operators

#61 developedby opened 2 days ago
0
Add stringification of Bend Fun types

#60 developedby opened 3 days ago
0
Implement ARC-DSL

#59 edusporto opened 3 days ago
0
Add parser of Bend Fun syntax

#58 developedby opened 3 days ago
0
Adds atomic expressions/statements and notation for do blocks

#57 enricozb closed 3 days ago
0
Fix Bits testing

#56 Lorenzobattistela closed 3 days ago
0
Adds atomic expressions/statements and notation for `do` blocks

#55 enricozb closed 3 days ago
1
Replace Nat.show with primShowNat

#54 enricozb closed 3 days ago
0
Add compilation of Bend internal inet to HVM

#53 developedby opened 3 days ago
0
Add example parser for lambda terms

#52 edusporto closed 3 days ago
0
Add map functionalities and test

#51 Lorenzobattistela closed 4 days ago
0
Add compilation of Bend AST to internal inet representation

#50 developedby closed 2 days ago
0
Add and Test Basic Float Functions

#49 kings177 opened 4 days ago
0
Review the simplification of the Bits module / rewrite tests / start the style guide

#48 VictorTaelin closed 3 days ago
0
Terminating Nat.div

#47 enricozb closed 4 days ago
0
Add common Map functionalities to Agda's Map implementation

#46 Lorenzobattistela closed 4 days ago
0
Merge IO and IOAsync

#45 Lorenzobattistela opened 5 days ago
0
WebSocket and HTTP clients

#44 Lorenzobattistela closed 4 days ago
0
Typeclass based

#43 NaoEhSavio closed 3 days ago
0
Fix setting precedence of operator not defined in file

#42 enricozb closed 5 days ago
0
Add Bend Fun types

#41 developedby closed 3 days ago
0
Add Bend to HVM compilation

#40 developedby opened 5 days ago
2
Add Bend Fun types

#39 developedby closed 3 days ago
0
Port Bend to Agda

#38 developedby opened 5 days ago
0
Create Imp, a C-Like DSL

#37 enricozb opened 5 days ago
2
Add Syntax to Construct Imp Statements using `do`-notation

#36 enricozb closed 5 days ago
0
Rename trace.agda -> Trace.agda

#35 enricozb closed 6 days ago
0
Fix String <-> Bits conversion

#34 edusporto closed 3 days ago
1
29 json support

#33 Lorenzobattistela closed 5 days ago
0
Bug: agda-cli show full path of imports

#32 Lorenzobattistela closed 6 days ago
1
String to bits conversion failing on multi-byte chars

#31 edusporto closed 3 days ago
1
Implement lots of operations on lists

#30 edusporto closed 1 week ago
0
Implement JSON support

#29 Lorenzobattistela closed 5 days ago
0
Implement Testing for all functions

#28 kings177 opened 1 week ago
0
Add WebSocket / HttpServer

#27 Lorenzobattistela closed 4 days ago
0
File IO

#26 Lorenzobattistela closed 1 week ago
0
Add list operations

#25 edusporto closed 6 days ago
1
Unit tests parser

#24 NaoEhSavio closed 1 week ago
0
Add File IO through FFI

#23 Lorenzobattistela closed 6 days ago
0
Extend equal

#22 NaoEhSavio closed 1 week ago
0
List Monads

#21 Lorenzobattistela closed 1 week ago
2
Add Monads for Lists

#20 Lorenzobattistela closed 1 week ago
0
Algebraic Bit operations

#19 Lorenzobattistela closed 1 week ago
1
Implement bits to UTF-8 strings and back

#18 edusporto closed 1 week ago
1
Improve Agda-JS code generation: Uncurried functions and tagged constructors

#17 kings177 closed 1 week ago
3
Add typeclass-based equality to all types

#16 kings177 closed 3 days ago
0
String to bits and bits to string functions

#15 edusporto closed 1 week ago
0