mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
Serve from GitHub
This commit is contained in:
parent
77fee3a21c
commit
4ed449196c
@ -108,7 +108,7 @@ Kind.Synth.get_kind_code(file: String): IO(String)
|
||||
IO {
|
||||
get code = IO.get_file(file)
|
||||
if String.is_upper(String.take(1,file)) && String.eql(code,"") then IO {
|
||||
get code = IO.request("http://old.kindelia.org:7172/" | file)
|
||||
get code = IO.request("https://raw.githubusercontent.com/HigherOrderCO/Kind1/master/base/" | file)
|
||||
return code;
|
||||
} else IO {
|
||||
return code;
|
||||
|
@ -1,6 +1,6 @@
|
||||
{
|
||||
"name": "kind-lang",
|
||||
"version": "1.0.119",
|
||||
"version": "1.0.120",
|
||||
"description": "Kind-Lang in JavaScript",
|
||||
"main": "src/kind.js",
|
||||
"scripts": {
|
||||
|
@ -5618,7 +5618,7 @@ module.exports = (function() {
|
||||
var $1336 = IO$monad$((_m$bind$3 => _m$pure$4 => {
|
||||
var $1337 = _m$bind$3;
|
||||
return $1337;
|
||||
}))(IO$request$(("http://old.kindelia.org:7172/" + _file$1)))((_code$3 => {
|
||||
}))(IO$request$(("https://raw.githubusercontent.com/HigherOrderCO/Kind1/master/base/" + _file$1)))((_code$3 => {
|
||||
var $1338 = IO$monad$((_m$bind$4 => _m$pure$5 => {
|
||||
var $1339 = _m$pure$5;
|
||||
return $1339;
|
||||
@ -53280,4 +53280,4 @@ module.exports = (function() {
|
||||
'Kind.Term.read': Kind$Term$read,
|
||||
'Kind.api.export': Kind$api$export,
|
||||
};
|
||||
})();
|
||||
})();
|
||||
|
Loading…
Reference in New Issue
Block a user