issues
search
plow-technologies
/
inferno
A statically-typed functional scripting language
MIT License
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix VC history operation and add VC tests
#49
siddharth-krishna
closed
1 year ago
1
LSP: error if script evaluates to a function
#48
siddharth-krishna
closed
1 year ago
0
[refactor] New Interpreter API, parametricity on value types
#47
siddharth-krishna
closed
1 year ago
0
Use `IO` instead of `ExceptT e IO`
#46
siddharth-krishna
closed
1 year ago
0
Add MonadIO to prelude and monad stack to allow random primitive
#45
siddharth-krishna
closed
1 year ago
0
Confusing type error message when comparing Array.length to a double
#44
siddharth-krishna
opened
1 year ago
0
[inferno-vc] Fix CouldNotFindPath Error after Deleting the Source Script of a Clone
#43
LTibbetts
closed
1 year ago
0
[inferno-core] Added `toBCD` and `fromBCD` to Prelude
#42
LTibbetts
closed
1 year ago
0
Update package versions and changelogs for 981be9a
#41
siddharth-krishna
closed
1 year ago
0
Specify Nix v2.13 in `install-nix-action`
#40
ngua
closed
1 year ago
0
Nix 2.14 breaks `cachix-action`
#39
ngua
closed
1 year ago
0
Add profiling instructions to readme
#38
siddharth-krishna
closed
1 year ago
0
WIP: A Concurrency Tester for Inferno-VC (and other servant servers)
#37
siddharth-krishna
opened
1 year ago
0
Use RWLock to prevent races in inferno-vc-server
#36
siddharth-krishna
closed
1 year ago
1
Concurrent tests for inferno-vc
#35
siddharth-krishna
opened
1 year ago
0
Revert usage of chooseInt (not supported on old Quickcheck versions)
#34
mirko-plowtech
closed
1 year ago
0
Build `treefmt-check` first
#33
ngua
closed
1 year ago
0
Run `treefmt` first so that formatting errors break CI quickly
#32
siddharth-krishna
closed
1 year ago
1
Define an Arbitrary instance for VCObject for golden tests
#31
siddharth-krishna
closed
1 year ago
0
Implement Serialize for VCObjectHash + provide golden tests for it
#30
mirko-plowtech
closed
1 year ago
0
Convert VCObjectHash to be an instance of Binary or Serialize
#29
mirko-plowtech
closed
1 year ago
1
[perf] Refactor parsing of tuples and prefix ops
#28
siddharth-krishna
closed
1 year ago
0
Fix dependency version conflict
#27
siddharth-krishna
closed
1 year ago
0
Improve formatting setup and fix `devShells.ghc884`
#26
ngua
closed
1 year ago
0
Upgrade to GHC 9.2.5
#25
ngua
closed
1 year ago
0
Add `inferno` cache and switch CI to build with Nix
#24
ngua
closed
1 year ago
1
`devShells.ghc884` is broken
#23
ngua
closed
1 year ago
1
Switch to `treefmt-nix`
#22
ngua
closed
1 year ago
0
Set up binary cache and use Nix on CI
#21
ngua
closed
1 year ago
0
Profiling build of `inferno` binary
#20
goodlyrottenapple
closed
1 year ago
0
Quick succession of saving script leads to broken history state
#19
shulhi
opened
1 year ago
1
Add `devShells` for VS Code packages
#18
ngua
closed
1 year ago
0
Fix `packages.vscode-inferno-syntax-highlighting`
#17
ngua
closed
1 year ago
0
Add `devShells` for NPM packages
#16
ngua
closed
1 year ago
0
`vscode-inferno-syntax-highlighting` is broken
#15
ngua
closed
1 year ago
0
Consider switching to `buildNpmPackage` from `nixpkgs`
#14
ngua
opened
1 year ago
0
Fix incorrect shadowing of variables in match expressions
#13
goodlyrottenapple
closed
1 year ago
0
Add inferno executable
#12
goodlyrottenapple
closed
1 year ago
0
Fix broken vs code extension build + lsp server
#11
goodlyrottenapple
closed
1 year ago
0
Ormolu segfaults on M1 mac
#10
goodlyrottenapple
opened
1 year ago
3
Improve unification error when it fails
#9
shulhi
opened
1 year ago
0
Update Nix instructions
#8
ngua
closed
1 year ago
0
Pattern match is implemented incorrectly
#7
goodlyrottenapple
closed
1 year ago
1
Switch to `flake-parts`
#6
ngua
closed
1 year ago
0
Fix year and month function to truncate time component properly
#5
shulhi
closed
1 year ago
0
Nix setup
#4
ngua
closed
2 years ago
0
Add Ormolu format check to CI
#3
siddharth-krishna
closed
1 year ago
0
Add "missing" commits
#2
siddharth-krishna
closed
2 years ago
0
GitHub Actions CI to build and test
#1
siddharth-krishna
closed
2 years ago
0
Previous