issues
search
alcides
/
aeon
Aeon programming language
https://alcides.github.io/aeon/
8
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Logical ops added to prelude
#21
eduardo-imadeira
closed
6 months ago
0
Filter the relevant functions to use in Synthesis.
#20
alcides
closed
6 months ago
0
Synthesizer ERROR's
#19
eduardo-imadeira
closed
6 months ago
2
Annotations refactor alternative?
#18
alcides
closed
6 months ago
0
Add Source location to the AST
#17
alcides
opened
11 months ago
0
Polytypes
#16
alcides
opened
11 months ago
0
Push implications inward in type checking.
#15
alcides
closed
6 months ago
1
Parametric refinements
#14
alcides
opened
11 months ago
0
Type Constructors
#13
alcides
opened
11 months ago
0
github action to run aeon tests
#12
eduardo-imadeira
closed
11 months ago
1
Logger
#11
eduardo-imadeira
closed
1 year ago
0
Annotations
#10
alcides
closed
6 months ago
6
Adds support for polymorphic functions
#9
alcides
opened
1 year ago
0
Custom uninterpreted functions
#8
alcides
closed
1 year ago
0
Implementation of namespaces
#7
alcides
opened
1 year ago
0
Recursion Error gcd
#6
eduardo-imadeira
closed
1 year ago
1
Native imports tests
#5
alcides
closed
1 year ago
0
typing module renamed to typecheking
#4
eduardo-imadeira
closed
1 year ago
0
User-defined types are not BasicTypes
#3
alcides
closed
1 year ago
0
Type Check Error in pow_test.py
#2
eduardo-imadeira
closed
1 year ago
3
Aeon4
#1
alcides
closed
1 year ago
0
Previous