Skip to content
This repository has been archived by the owner on Feb 8, 2024. It is now read-only.

Update dependency idris-lang/Idris-dev to v1 #20

Merged
merged 1 commit into from
Jul 14, 2022
Merged

Update dependency idris-lang/Idris-dev to v1 #20

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion .tool-versions
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,6 @@ ocaml 4.2.0
nim 1.6.2
php 8.1.8
ruby 3.0.1
idris 0.4.2
idris 1.3.4
erlang 24.0.2
elixir 1.12.3