feat: add ContractView using contract-builder

Author: davidyuk

package-lock.json

@@ -17,6 +17,7 @@
     "vue-router": "^4.1.6"
   },
   "devDependencies": {
+    "@aeternity/contract-builder": "github:aeternity/contract-builder#feature/sdk-13-beta",
     "@babel/core": "^7.21.3",
     "@babel/eslint-parser": "^7.21.3",
     "@vue/cli-plugin-babel": "~5.0.8",

package.json

@@ -4,7 +4,7 @@
         <h1>Welcome To Aeternity</h1>
         <div id="nav">
             <router-link to="/">Home</router-link> |
-            <router-link to="/about">About</router-link>
+            <router-link to="/contract">Contract</router-link>
         </div>
     </div>
 

src/App.vue

@@ -8,12 +8,12 @@ const routes = [
     component: Home
   },
   {
-    path: '/about',
-    name: 'About',
+    path: '/contract',
+    name: 'Contract',
     // route level code-splitting
-    // this generates a separate chunk (about.[hash].js) for this route
+    // this generates a separate chunk (contract.[hash].js) for this route
     // which is lazy-loaded when the route is visited.
-    component: () => import(/* webpackChunkName: "about" */ '../views/AboutView.vue')
+    component: () => import(/* webpackChunkName: "contract" */ '../views/ContractView.vue')
   }
 ]
 

src/router/index.js

@@ -0,0 +1,4 @@
+contract Multiplier =
+  record state = { factor: int }
+  entrypoint init(f : int) : state = { factor = f }
+  entrypoint calc(x : int) = x * state.factor