issues
search
pvdrz
/
pijama_legacy
A functional programming language
MIT License
47
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Specialize print behaviour using type information
#124
pvdrz
closed
4 years ago
0
Add context structure to hold all the term metadata
#123
pvdrz
closed
4 years ago
0
New MIR
#122
pvdrz
closed
4 years ago
0
Simplify MIR
#121
pvdrz
closed
4 years ago
0
move common types to new crate
#120
pvdrz
closed
4 years ago
0
New backend for Pijama
#119
pvdrz
opened
4 years ago
0
Add cargo fmt to travis build config
#118
Atul9
opened
4 years ago
0
Add missing benchmarks
#117
pvdrz
closed
4 years ago
0
Add missing tycheck tests
#116
pvdrz
closed
4 years ago
0
split remaining core modules
#115
pvdrz
closed
4 years ago
0
Fix scoping and type checking of recursive functions
#114
pvdrz
closed
4 years ago
0
Better parsing errors
#113
pvdrz
closed
4 years ago
0
New AST and parser
#112
pvdrz
closed
4 years ago
0
remove Term::Hole
#111
pvdrz
closed
4 years ago
0
Split codebase into a cargo workspace
#110
pvdrz
closed
4 years ago
0
Revamp Pijama's AST module
#109
pvdrz
closed
4 years ago
0
Proposal: Add eager evaluation.
#108
pvdrz
opened
4 years ago
0
Trigger evaluation when working with primitives
#107
pvdrz
closed
4 years ago
1
Add doc comments to pijama_ast
#106
seanchen1991
closed
4 years ago
0
Add pretty printing for our `IRs`
#105
pvdrz
opened
4 years ago
0
Move Span use to correct crate
#104
DarkDrek
closed
4 years ago
1
Revamp `Location` and `Located`
#103
pvdrz
closed
4 years ago
0
Update `pijama::ty` docs
#102
pvdrz
closed
4 years ago
0
Document all the things!
#101
pvdrz
opened
4 years ago
3
Add new `Ty` for type-checking
#100
pvdrz
closed
4 years ago
0
Change lazy_static for once_cell
#99
pvdrz
closed
4 years ago
4
Investigate benchmarking artifacts
#98
pvdrz
opened
4 years ago
0
Add checked arithmetic v2
#97
pvdrz
closed
4 years ago
4
Add checked arithmetic
#96
pvdrz
closed
4 years ago
3
Moving ast module to pijama_ast crate
#95
seanchen1991
closed
4 years ago
1
Use structopt to fetch command-line options
#94
pvdrz
closed
4 years ago
0
Add logging
#93
DarkDrek
opened
4 years ago
5
Make typing annotations more flexible
#92
pvdrz
closed
4 years ago
5
Do constraint-based typing instead of check-based typing
#91
pvdrz
closed
4 years ago
2
Cleaning up some docs
#90
seanchen1991
closed
4 years ago
0
Add parsing of single comments
#89
seanchen1991
closed
4 years ago
0
Split codebase in crates
#88
pvdrz
closed
4 years ago
7
Use i64 for all literals in lir
#87
DarkDrek
closed
4 years ago
1
Parse hex, bin and oct numbers
#86
DarkDrek
closed
4 years ago
0
Proposal: Remove tagging for literals during evaluation
#85
pvdrz
closed
4 years ago
3
Proposal: Port Pijama to WASM
#84
pvdrz
opened
4 years ago
0
Parse hexadecimal and binary integers
#83
pvdrz
closed
4 years ago
12
Use i64 instead of i128
#82
DarkDrek
closed
4 years ago
0
Support comments
#81
seanchen1991
closed
4 years ago
7
Move to `i64` for integers
#80
pvdrz
closed
4 years ago
1
Change Into to From trait impl
#79
DarkDrek
closed
4 years ago
0
Runtime error mechanism
#78
DarkDrek
opened
4 years ago
9
Proposal: Introduce Llama (LIR replacement)
#77
pvdrz
opened
4 years ago
1
Update tests to use `elif` and run fmt
#76
seanchen1991
closed
4 years ago
0
Refactor and document the `ty` module
#75
pvdrz
closed
4 years ago
0
Next